Transaction-Based Specification of Database Evolution
نویسنده
چکیده
We present a two-layer language for the specification of database evolution in terms of transaction-based, dynamic integrity constraints. The first language layer is based on first-order logic and it is used to express dynamic constraints in terms of queries on the transaction history of a database. The second layer uses a customizable combination of text and graphics and its semantics are defined in terms of the firstorder language. Our language is orthogonal to state-based constraint languages and it can be used as a supplement to these. Also, our language can be used in combination with all object-based or entity-based data models. We use examples to illustrate the use of the specification language. Key Terms: Database evolution, database integrity, dynamic constraint specifications, transaction-based constraint specifications.
منابع مشابه
A hybrid approach for database intrusion detection at transaction and inter-transaction levels
Nowadays, information plays an important role in organizations. Sensitive information is often stored in databases. Traditional mechanisms such as encryption, access control, and authentication cannot provide a high level of confidence. Therefore, the existence of Intrusion Detection Systems in databases is necessary. In this paper, we propose an intrusion detection system for detecting attacks...
متن کاملRepresentation of Temporal Knowledge in the Situation Calculus
In this article we deal with the problem of using temporal knowledge in the specification of the dynamics of a database. Temporal knowledge is formalized with formulas that refer to the evolution of the database. In the article we analyze several problems involving temporal knowledge: (1) Specification of complex temporal preconditions for database transactions. (2) Specification and maintenanc...
متن کاملUsing Abstract State Machines to Model ARIES-based Transaction Processing
Transaction management is an essential component of database management systems. It enables multiple users to access the database concurrently while preserving transactional properties such as atomicity, consistency, isolation, and durability. In this paper, we propose a formal framework specification for transaction processing. Our work can be seen as an extension of previous work by Gurevich ...
متن کاملSpecifying Database Transactions and Active Rules in the Situation Calculus
This chapter provides a predicate logic based semantics for active rules in active databases [18, 9]. Our main contribution is a proposal to integrate the specification of active rules with the specification of the dynamics of transaction based change in relational databases. Our approach extends previous work in which the situation calculus, a language of many sorted predicate logic, is used t...
متن کاملSemantics and Architecture of Global Transaction Support in Workflow Environments
In this paper, we present an approach to global transaction management in workflow environments. The transaction mechanism is based on the well-known notion of sagas, but extended to deal with arbitrary process structures including cycles and savepoints that allow partial compensation. We present a formal specification of the transaction model and transaction management mechanisms in set and gr...
متن کامل